Institute of Computer Science. Research groups cover software engineering and systems software, databases and information systems, programming languages, computer architecture, artificial intelligence, computer science in education and society, theore...
Department of Computer Science. Research groups focus on system analysis, software engineering, theory of programming, databases and information systems, artificial intelligence, data analysis, computer science in education and society, parallel and d...
Department of Computer Science. Research areas include theoretical computer science, computer engineering, computer systems, software engineering, operating systems, databases, computer networks, artificial intelligence, and information systems.
Institute of Computer Science. Research areas include theoretical computer science, graph grammars, visual programming, computational linguistics, evolutionary computation, parallel and distributed systems, soft computing, fault tolerance, object orie...
Mathematics and Computer Science. Data management, knowledge representation, human-computer interaction, software engineering, specification of computer systems, systems modelling, and dependability.
Department of Mathematics and Computer Science. Research areas include logic synthesis and verification, digital systems verification, genetic algorithms for routing, LEDA, graph drawing algorithms, parallel algorithms and programming, and compilers a...
Faculty of Mathematics and Computer Science. Research areas include algorithms and data structures, computational complexity, database and information systems, software engineering, programming languages, practical and technical computer science, digi...
Department of Computer Science. Research involves software components, algorithms, CAD, computer graphics, computational geometry, information management, computer networks, database and information systems, computer architecture, numerical algorithms...
Department of Mathematics/Computer Science. Research areas include databases, neural networks, theoretical computer science, and performance measuring.